Ontology Contraction: Beyond the Propositional Paradise
نویسندگان
چکیده
The dynamic nature of ontology development has motivated the formal study of ontology evolution problem. This paper addresses contraction —the problem of retracting information that should no longer hold in an ontology. We survey existing model and formula based semantics to contraction and investigate their properties for the description logics DL-Lite and EL, which underpin the QL and EL profiles of OWL 2. Our results suggest that these contraction semantics, which are well-understood and well-behaved for propositional logics, are intrinsically problematical in the context of ontology languages. We believe that a starting point for addressing these problems might be the recent semantics proposed in [1].
منابع مشابه
Instance-Driven Ontology Evolution in DL-Lite
The development and maintenance of large and complex ontologies are often time-consuming and error-prone. Thus, automated ontology learning and evolution have attracted intensive research interest. In data-centric applications where ontologies are designed from the data or automatically learnt from it, when new data instances are added that contradict the ontology, it is often desirable to incr...
متن کاملNext Steps in Propositional Horn Contraction
Standard belief contraction assumes an underlying logic containing full classical propositional logic, but there are good reasons for considering contraction in less expressive logics. In this paper we focus on Horn logic. In addition to being of interest in its own right, our choice is motivated by the use of Horn logic in several areas, including ontology reasoning in description logics. We c...
متن کاملThe Quran's Description of Paradise in Connection to the Culture of the Time of Revelation from the Perspective of Contemporary Intellectuals: Analysis and Criticism
This article analyzes and critiques the contemporary Muslim intellectuals' views on the issue that the Quran has been influenced by the Arab culture of the time of revelation in describing the blessings of Paradise, and ultimately concludes that, in introducing a small part of the infinite blessings of Paradise desired and wished by all human beings in all ages, God has optimally utilized the ...
متن کاملUsing Defeasible Information to Obtain Coherence
We consider the problem of obtaining coherence in a propositional knowledge base using techniques from Belief Change. Our motivation comes from the field of formal ontologies where coherence is interpreted to mean that a concept name has to be satisfiable. In the propositional case we consider here, this translates to a propositional formula being satisfiable. We define belief change operators ...
متن کاملDynamic Logic for the Semantic Web
The propositional dynamic logic PDL is one of the most successful variants of modal logic; it plays an important role in many fields of computer science and artificial intelligence. As a logical basis for the W3C-recommended Web ontology language OWL, description logic provides considerable expressive power going far beyond propositional logic as while as the reasoning is still decidable. In th...
متن کامل